@article{yang2019fuel,
  title={Fuel cell thermal management: Modeling, specifications, and correct-by-construction control synthesis},
  author={Yang, Liren and Karnik, Amey and Pence, Benjamin and Waez, Md Tawhid Bin and Ozay, Necmiye},
  journal={IEEE Transactions on Control Systems Technology},
  volume={28},
  number={5},
  pages={1638--1651},
  year={2019},
  publisher={IEEE}
}